環 ring
集合 set
二項演算 binary operation
以下を満たす時言える
R1:
和 sum
の
交換法則 commutative law
a+b =b+a
R2:
和 sum
の
結合法則 associative law
(a+b)+c=a+(b+c)
R3:
0 零
の存在
Rの
元 element
に0が存在
すべてのa∈Rに対して、
a+0=a
R4:
負の数 negative number
の存在
任意のa∈Rに対して、
-a∈Rが存在
a+(-a)=0
R6:
積 product
の
結合法則 associative law
(ab)c=a(bc)
R7:
分配法則 Distributive Law
a(b+c)=ab+ac
(a+b)c=ac+bc
更に以下を満たすと
可換環
R5:
積 product
の
交換法則 commutative law
ab=ba